mathematics of logic
英 [ˌmæθəˈmætɪks ɒv ˈlɒdʒɪk]
美 [ˌmæθəˈmætɪks əv ˈlɑːdʒɪk]
【计】逻辑数学
双语例句
- Mathematics have height of abstraction, generally with tight logic.
数学具有高度的抽象性、概括性和严密的逻辑性。 - Logic is the essence of Mathematics. It encompasses many different disciplines, all of which have one common feature: ( the use of) logic.
第一段：数学以逻辑性为特色.数学包括很多不同的学科，但都有一个共同的特点&逻辑。 - In the philosophy of mathematics, the thesis that all mathematical propositions are expressible as or derivable from the propositions of pure logic.
在数学哲学中，认为数学是从逻辑推导出来的一种论点。 - Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。 - Most academic subjects have a philosophy, for example the philosophy of science, the philosophy of mathematics, the philosophy of logic, the philosophy of law, and the philosophy of history.
大多数学科有自己的哲学，举例来说，科学哲学、数学哲学、逻辑哲学、法律哲学和历史哲学。 - Petri net has the directness of graphics and the preciseness of mathematics, being very fit for the description and analysis of complex logic system.
Petri网具有图形化的直观性和数学的严谨性，非常适合进行复杂逻辑系统的描述与分析。 - Nowadays more and more medical study fields need mathematics knowledge. The mathematics abilities of medical students include the ability of basic logic thought, changing medical problems into mathematics ones, understanding and applying mathematics knowledge as well as solving mathematics problems with computers.
数学越来越广泛地应用于医学研究，医学生应具备的数学能力包括基本的逻辑思维能力、医学问题数学化的能力、数学知识的理解和应用能力以及运用计算机解决数学问题的能力。 - But it is not a whole failure. Russell 'contribution lies in his study of mathematics logicism promoting the development of mathematics logic.
但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。 - The illusion of mathematics 'aesthetic character of the logic results in the paradox nature of the modern culture, such puts the unstrict modern calculus in an awkward position, so the validity of the modern calculus utility becomes suspectable and unreasonable.
数学逻辑审美特征的虚幻性造成了近代文化内在根基的虚幻性和外在合法性的悖论性质，使得不严密的近代微积分处于尴尬境地，导致了人们对其效用合法性的怀疑与不理解。 - In mathematics, capacity for mathematics consists of abstract generalization selection capacity and judgement capacity, mathematics exploration capacity, as well as logic thought capacity.
其中数学思维能力包括抽象概括能力、选择判断能力、数学探索能力和逻辑思维能力； - Mathematics is a very crucial basic course, which plays an important role not only in the students 'study of the specialty theories but also in the development of their logic thinking ability and originality ability.
数学类课程作为重要的基础课，不仅是学生进行专业理论学习的基础，而且对于培养学生的逻辑思维能力、创新能力都有着至关重要的作用。 - Fuzzy mathematics will grow along two directions in the future: first, it will research the inner rule of fuzzy character, i. e the fuzzy language and fuzzy logic.
模糊数学将沿着两条途径发展：一方面是研究模糊性的内在规律，也就是探讨模糊语言和模糊逻辑。 - Characteristic of mathematics cognition structure: ( 1) It was production of logic structure mathematics knowledge and students 'psychology structure;
数学认知结构的特点是：它是数学知识的逻辑结构与学生的心理结构相互作用的产物； - Separate Mathematics, with stronger theory and specialty practicality, is an important course of computer science specialty, its property is to involve many teaching contents and strong abstractness, so to improve students 'logic thinking ability, reasoning mid innovative ability is the requirement of teaching.
教学内容多、抽象性强是这门课的特点；提高学生的逻辑思维能力、推理能力和创新能力是这门课程的教学要求。 - Mathematics Trend of Dialectical Logic
辩证逻辑的数学化趋势 - Mathematics could be described as a study of function and pattern in number, logic, space and structure.
数学可以部分地理解为是对数、逻辑、空间和结构的功能和模式的研究。 - Logic value in mathematics teaching indicts the significance of logic in mathematics teaching.
数学教学的逻辑价值是指逻辑在数学教学中的意义。 - This thesis makes an exposition of the mathematics logicism thought of Russell, the great mathematician and logician in phytogeny of logic.
本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。 - Introduce the mathematics thinking and methods in the aspect of fuzzy logic in detail.
对模糊推理所用到的数学思想和方法做了详细介绍； - The knowledge system of mathematics has a few different kinds of structure, logic structure, cognitive structure, structure of teaching materials and teaching structure.
数学知识系统有几种不同的组织结构：逻辑结构、认知结构、教材结构和教学结构，并且都有多种具体表现形式。 - Inspired by platonism, the modern culture justifies the mathematics and rational knowledge with the aesthetic character of the logic.
启示于柏拉图主义，近代文化通过逻辑审美特征来为数学和理性知识辩护。 - Research mathematics emphasizes the sequence of scientific logic; while educational mathematics, which also refers to education mathematics, stresses the perfect combination between the sequence of scientific logic and the sequence of cognitive psychology.
研究性数学主要注重科学逻辑的序，而教育性数学则注重科学逻辑的序与认知心理的序之间的完美结合，后者即教育数学。 - He was good at mathematics and symbol logic, so he could study the problem of confirmation with the tool of the methods of mathematical logic and probability logic to construct inductive logical system of the theory of probability confirmation.
卡尔纳普在数学与逻辑方面的造诣，使他能够利用概率逻辑、数理逻辑的方法作为工具来研究归纳确证问题，从而构建了他的概率确证逻辑体系。 - The development of logic is a process of relying on other subjects including language, mathematics, natural philosophy and jurisprudence which probably will become a new mode of development of logic.
逻辑的发展是一个学科依赖的过程，分别依赖于语言、数学、自然哲学和法学，法学有可能成为逻辑学发展的新模式。 - Modern logic is a very useful tool for the basis and structure of pure mathematics. Some mathematical theorems including Godel's Theorem of Incompleteness applied some technologies and achievements of modern logic.
对于纯数学的基础和结构来说，现代逻辑是一种非常有用的工具，包括哥德尔不完全性定理等，都利用了现代逻辑的技术和成果。 - Through the comparison of identity in Logic and Mathematics of type, which Logic and Mathematics have many similarities are clearly known, and then a rough discussion of the same points in their respective is given.
通过类在逻辑学与数学中同一性进行比较，明确了逻辑学与数学具有诸多的相同点，进而对各自的相同点进行了粗略的论述。 - Mathematics by the people was thought is one of curricula which most interesting is most difficult to study, its abstractness, the logic quite are strong.
数学被人们认为是最有趣又最难学的课程之一，它的抽象性、逻辑性比较强。